Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โ๏ธInference Rules
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
โ๏ธInference Rules
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท16h
๐Category Theory
Flag this post
I built a symbolic reasoning system without language or training data. Iโm neurodivergent and not a developer โ just hoping someone can tell me if this makes se...
๐ฏFinite Automata
Flag this post
De Bruijn Numerals
ฮปLambda Calculus
Flag this post
The case against boolean logic
โ๏ธInference Rules
Flag this post
Reinventing Assertions
โ๏ธInference Rules
Flag this post
รขโฌลAs of today, your name is Ahabรขโฌย: Generic Critique as Reparative Praxis in
gamestudies.orgยท4h
๐ indieweb
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
๐Go Generics
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.orgยท16h
๐S-Expression
Flag this post
From Lossy to Lossless Reasoning
๐ชRecursive Descent
Flag this post
Magisterium
๐ซEffect Systems
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
๐ญRacket Modules
Flag this post
PWC 345: I Went to the Mountains
๐ณTree Walking
Flag this post
text as incantation
lnebres.bearblog.devยท1d
๐ท๏ธSymbol Mangling
Flag this post
13 ChatGPT prompts I use alongside my Kindle to understand books better
makeuseof.comยท2h
โ๏ธInference Rules
Flag this post
Three Meanings of Reference
๐Symbol Tables
Flag this post
Loading...Loading more...